Closure algebras are type one modal algebras, in which the single operator behaves like a closure operation in a topological space.
A closure algebra is a Boolean algebra with operator, , which satisfies: for all , .
In general, if is a closure algebra and , we say that is closed if and open if , where is the dual operator of .
A closure algebra is sometimes written in terms of instead of and is then called an interior algebra.
Let be a topological space and the powerset Boolean algebra of the underlying set of . Set to be the topological closure of the set in the topology of , then is a closure algebra.
If is a closure algebra, let be the set of open elements in , then has the natural structure of a Heyting algebra. Moreover any Heyting algebra can be represented as the algebra of open elements of a closure algebra.
Closure algebras underly the algebraic semantic models of the epistemic logic .
The algebraic semantics of uses polyclosure algebra?s. Here there are many different closure operators on the Boolean algebra.
Last revised on December 24, 2010 at 07:17:48. See the history of this page for a list of all contributions to it.